AJSE Relaunched in Cooperation with Springer

Datalog Relaunched: Simulation Unification and Value Invention

For reasoning on the Web, Datalog is lacking data extraction and value invention. This article proposes to overcome these limitations with “simulation unification” and “RDFLog”. Simulation unification is a non-standard unification inspired from regular path queries. Like standard unification, it yields bindings for variables in both terms to unify. Unlike standard unification, it does not try t...

Springer Representations on the Khovanov Springer Varieties

Springer varieties are studied because their cohomology carries a natural action of the symmetric group Sn and their top-dimensional cohomology is irreducible. In his work on tangle invariants, Khovanov constructed a family of Springer varieties Xn as subvarieties of the product of spheres (S). We show that if Xn is embedded antipodally in (S) then the natural Sn-action on (S) induces an Sn-rep...

12 Springer

ing and information services, bibliographic networks, subscription agencies, library networks and consortia. • Without having asked Springer-Verlag for a separate permission your institute/your company is not allowed to place this file on its homepage. • Please address any queries to the production editor of the journal in question, giving your name, the journal title, volume and first page num...

Springer Texts in Statistics

FDA advisers warn of more deaths if drug is relaunched.